Các tính chất Số thực dương

Tập R > 0 {\displaystyle \mathbb {R} _{>0}} đóng dưới phép cộng, nhân và chia. Nó thừa kế tô pô từ đường số thực và đó có cấu trúc của nhóm tô pô nhân hoặc của nửa nhóm tô pô.

Với bất kỳ số thực dương x , {\displaystyle x,} dãy số { x n } {\displaystyle \left\{x^{n}\right\}} có 3 kết quả sau: Khi x ∈ ( 0 , 1 ) , {\displaystyle x\in (0,1),} giới hạn của dãy bằng không; Khi x = 1 , {\displaystyle x=1,} dãy này là dãy hằng; và khi x > 1 , {\displaystyle x>1,} dãy số này không bị chặn.

R > 0 = ( 0 , 1 ) ∪ { 1 } ∪ ( 1 , ∞ ) {\displaystyle \mathbb {R} _{>0}=(0,1)\cup \{1\}\cup (1,\infty )} và các hàm nghịch đảo phép nhân đổi chỗ các khoảng nào. Hàm lấy phần nguyên, floor : [ 1 , ∞ ) → N , x ↦ ⌊ x ⌋ , {\displaystyle \operatorname {floor} :[1,\infty )\to \mathbb {N} ,\,x\mapsto \lfloor x\rfloor ,} và hàm lấy phần lẻ, excess : [ 1 , ∞ ) → ( 0 , 1 ) , x ↦ x − ⌊ x ⌋ , {\displaystyle \operatorname {excess} :[1,\infty )\to (0,1),\,x\mapsto x-\lfloor x\rfloor ,} được dùng để mô tả phần tử x ∈ R > 0 {\displaystyle x\in \mathbb {R} _{>0}} bằng dãy số trong liên phân số [ n 0 ; n 1 , n 2 , … ] , {\displaystyle \left[n_{0};n_{1},n_{2},\ldots \right],} là dãy có được hàm floor và sau khi các phần lẻ đều đã được nghịch đảo. Đối với x {\displaystyle x} hữu tỷ, dãy kết thúc với biểu thức liên phân số chính xác của x , {\displaystyle x,} và đối với x {\displaystyle x} vô tỷ toàn phương dãy trở thành liên phân số có chu kỳ.

Tập được sắp ( R > 0 , > ) {\displaystyle \left(\mathbb {R} _{>0},>\right)} có thứ tự toàn phần nhưng không phải tập sắp thứ tự tốt.

Trong nghiên cứu các nhóm cổ điển, với mọi n ∈ N , {\displaystyle n\in \mathbb {N} ,} , hàm lấy định thức là ánh xạ từ các ma trận n × n {\displaystyle n\times n} sang tập các số thực: M ( n , R ) → R . {\displaystyle \mathrm {M} (n,\mathbb {R} )\to \mathbb {R} .} Giới hạn sang chỉ còn các ma trận khả nghịch cho được ánh xạ từ nhóm tuyến tính tổng quát sang tập số thực khác không: G L ( n , R ) → R × . {\displaystyle \mathrm {GL} (n,\mathbb {R} )\to \mathbb {R} ^{\times }.} Giới hạn tiếp sang các ma trận có định thức dương được ánh xạ sau GL + ⁡ ( n , R ) → R > 0 {\displaystyle \operatorname {GL} ^{+}(n,\mathbb {R} )\to \mathbb {R} _{>0}} ; coi ảnh của ánh xạ trên là nhóm thương bởi nhóm con chuẩn tắc SL ⁡ ( n , R ) ◃ GL + ⁡ ( n , R ) , {\displaystyle \operatorname {SL} (n,\mathbb {R} )\triangleleft \operatorname {GL} ^{+}(n,\mathbb {R} ),} được gọi là nhóm tuyết tính đặc biệt, qua đó chứng minh rằng tập các số thực dương là nhóm Lie.